Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
171	A User’s Guide to Proving Programs Correct with the Sunrise Verification System version 7.3 Peter Vincent Homeier Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-11 11:40:50 Formal methods Logic in computer science Archive formats Automated theorem proving Gzip Formal verification HOL Tar Theorem Proving in Higher-Order Logics Theoretical computer science Software Applied mathematics
172	Component-based Design and Verification in X-MAN Nannan He, Daniel Kroening, Thomas Wahl Oxford University Kung-Kiu Lau, Faris Taweel, Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2011-12-09 13:28:09 Applied mathematics Structure Software architecture Formal verification System Modularity Software engineering Object-oriented programming Component-based software engineering
173	A Survey of Industrial Applications of Formal Methods Professor Peter Gorm Larsen Engineering College of Aarhus () Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-10 09:34:32 Theoretical computer science Vienna Development Method Formal specification John Fitzgerald Life-critical system Software development process SIGNAL Analysis Formal methods Software development Science
174	8 The Shadow System: A Local Public that Deﬁes Formal Institutions In Cintron’s Angels’ Town: Chero Ways, Gang Life and Rhetorics of the Everyday, the local public is a shadow system where everyday people demand re Add to Reading List Source URL: wac.colostate.edu Language: English - Date: 2008-04-28 20:48:18 Gangs in the United States Organized crime Gangs in Canada Gang Urban decay Public sphere Latin Kings Graffiti Inventio Sociology Crime Structure
175	Toward Idealized Decision Theory Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-05-13 12:24:25 Ethology Formal sciences Reasoning Causal decision theory Intelligent agent Evidential decision theory Causality Multi-agent system Decision making Science Knowledge Artificial intelligence
176	Curriculum Vitae Samuel R. Buss Professor of Mathematics and Computer Science Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2013-03-11 00:53:25 Logic Formal sciences Frege system Propositional calculus IEEE Symposium on Logic in Computer Science Mathematical logic Logic programming Proof theory Samuel Buss Theoretical computer science Logic in computer science Mathematics
177	ARSPA 2004 Preliminary Version Believing the Integrity of a System (Invited Talk) Simon N. Foley 1,2 Department of Computer Science Add to Reading List Source URL: www.cs.ucc.ie Language: English - Date: 2004-10-08 09:12:34 Ethics Crime prevention National security Evaluation Electronic commerce Integrity Formal verification Trusted Computer System Evaluation Criteria Computer security Security Computer network security
178	Chapter 1 Rewriting Nachum Dershowitz David A. Plaisted Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2001-02-15 10:07:19 Applied mathematics Logic in computer science Mathematical logic Rewriting Computability theory Semi-Thue system Differential equation Normal form Linear equation Theoretical computer science Mathematics Formal languages
179	Group on Earth Observations Tenth Plenary Session – GEO-X Geneva, Switzerland, 15-16 January 2014 Item 6 - Formal Statements from Members and Participating Organizations on key events and activities IHO Statement Add to Reading List Source URL: www.earthobservations.org Language: English - Date: 2014-01-29 04:17:59 Earth Hydrography General Bathymetric Chart of the Oceans Remote sensing Navigation Bathymetric chart Bathymetry International Hydrographic Organization Global Earth Observation System of Systems Physical geography Oceanography Cartography
180	The Fixed String of Elementary Cellular Automata Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-06-20 13:21:04 Theoretical computer science Discrete mathematics Character encoding String L-system FO Formal languages Mathematics Combinatorics on words

UPDATE